#include <gmlib/number/uint256.h>

#include <stdexcept>
#include <cstring>

using namespace number;

void test_uint256_sub_borrow_uint32()
{
    uint256_t    minuend, difference;
    int          borrow;
    std::uint8_t difference_data[32];

    static std::uint8_t  minuend0[32]    = {0x09,0x99,0x50,0xd8,0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf8,0x18,0x18,0xe8,0x11};
    static std::uint32_t subtrahend0     = 1862494042;
    static std::uint8_t  difference0[32] = {0x09,0x99,0x50,0xd8,0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf7,0xa9,0x15,0x80,0xb7};
    static int           borrow0         = 0;
    uint256_from_bytes(minuend, minuend0);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend0);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference0, difference_data, 32) != 0 || borrow0 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend1[32]    = {0x90,0xc1,0x92,0xcf,0xd3,0xac,0x94,0xaf,0x0f,0x21,0xdd,0xb6,0x6c,0xad,0x4a,0x26,0x8d,0x11,0x6e,0xce,0x17,0x38,0xf7,0xd9,0x3d,0x9c,0x17,0x24,0x11,0xe2,0x0b,0x8f};
    static std::uint32_t subtrahend1     = 4069265501;
    static std::uint8_t  difference1[32] = {0x90,0xc1,0x92,0xcf,0xd3,0xac,0x94,0xaf,0x0f,0x21,0xdd,0xb6,0x6c,0xad,0x4a,0x26,0x8d,0x11,0x6e,0xce,0x17,0x38,0xf7,0xd9,0x3d,0x9c,0x17,0x23,0x1f,0x55,0xfb,0x32};
    static int           borrow1         = 0;
    uint256_from_bytes(minuend, minuend1);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend1);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference1, difference_data, 32) != 0 || borrow1 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend2[32]    = {0x65,0x8c,0xda,0x14,0x95,0xe6,0x0a,0xf5,0x93,0xbd,0x04,0xcf,0x0f,0xd6,0x30,0xf1,0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb5,0xa1,0x70,0xb3,0x38};
    static std::uint32_t subtrahend2     = 4192983756;
    static std::uint8_t  difference2[32] = {0x65,0x8c,0xda,0x14,0x95,0xe6,0x0a,0xf5,0x93,0xbd,0x04,0xcf,0x0f,0xd6,0x30,0xf1,0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb4,0xa7,0x84,0xd8,0x6c};
    static int           borrow2         = 0;
    uint256_from_bytes(minuend, minuend2);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend2);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference2, difference_data, 32) != 0 || borrow2 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend3[32]    = {0x8a,0x6a,0x63,0xec,0x24,0xed,0xe6,0xa4,0x6b,0x4c,0xb2,0x42,0x4a,0x23,0xd5,0x96,0x22,0x17,0xbe,0xad,0xdb,0xc4,0x96,0xcb,0x8e,0x81,0x97,0x3e,0x0b,0xec,0xd7,0xb0};
    static std::uint32_t subtrahend3     = 2452055640;
    static std::uint8_t  difference3[32] = {0x8a,0x6a,0x63,0xec,0x24,0xed,0xe6,0xa4,0x6b,0x4c,0xb2,0x42,0x4a,0x23,0xd5,0x96,0x22,0x17,0xbe,0xad,0xdb,0xc4,0x96,0xcb,0x8e,0x81,0x97,0x3d,0x79,0xc5,0x71,0x58};
    static int           borrow3         = 0;
    uint256_from_bytes(minuend, minuend3);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend3);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference3, difference_data, 32) != 0 || borrow3 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend4[32]    = {0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b,0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f,0x8f,0x6d,0x05,0x58};
    static std::uint32_t subtrahend4     = 1599435267;
    static std::uint8_t  difference4[32] = {0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b,0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f,0x30,0x17,0x93,0x55};
    static int           borrow4         = 0;
    uint256_from_bytes(minuend, minuend4);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend4);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference4, difference_data, 32) != 0 || borrow4 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend5[32]    = {0x74,0x03,0xe4,0x30,0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0x88,0x1e,0xd1,0x62};
    static std::uint32_t subtrahend5     = 1287489453;
    static std::uint8_t  difference5[32] = {0x74,0x03,0xe4,0x30,0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0x3b,0x61,0x49,0xb5};
    static int           borrow5         = 0;
    uint256_from_bytes(minuend, minuend5);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend5);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference5, difference_data, 32) != 0 || borrow5 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend6[32]    = {0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc,0x49,0xb6,0x4a,0x08,0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20,0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0x7e,0xbf,0xf2,0x06};
    static std::uint32_t subtrahend6     = 1795823848;
    static std::uint8_t  difference6[32] = {0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc,0x49,0xb6,0x4a,0x08,0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20,0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0x13,0xb5,0xd9,0x1e};
    static int           borrow6         = 0;
    uint256_from_bytes(minuend, minuend6);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend6);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference6, difference_data, 32) != 0 || borrow6 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend7[32]    = {0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57,0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a,0xc3,0xba,0xea,0x9e,0x13,0xde,0xef,0x86};
    static std::uint32_t subtrahend7     = 2986270863;
    static std::uint8_t  difference7[32] = {0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57,0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a,0xc3,0xba,0xea,0x9d,0x61,0xe0,0x0e,0xf7};
    static int           borrow7         = 0;
    uint256_from_bytes(minuend, minuend7);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend7);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference7, difference_data, 32) != 0 || borrow7 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend8[32]    = {0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x29,0x45,0x1a,0xbd,0x81};
    static std::uint32_t subtrahend8     = 3530140069;
    static std::uint8_t  difference8[32] = {0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x28,0x72,0xb1,0x13,0xdc};
    static int           borrow8         = 0;
    uint256_from_bytes(minuend, minuend8);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend8);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference8, difference_data, 32) != 0 || borrow8 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend9[32]    = {0xf0,0xce,0x58,0x35,0x05,0xc6,0xaf,0x07,0x58,0xd5,0x56,0x3d,0xab,0x2c,0xd3,0x1e,0xe3,0x15,0x12,0x88,0x62,0xc3,0x3a,0x4f,0xb7,0x74,0xeb,0x52,0x48,0xdb,0x40,0xaf};
    static std::uint32_t subtrahend9     = 1526706729;
    static std::uint8_t  difference9[32] = {0xf0,0xce,0x58,0x35,0x05,0xc6,0xaf,0x07,0x58,0xd5,0x56,0x3d,0xab,0x2c,0xd3,0x1e,0xe3,0x15,0x12,0x88,0x62,0xc3,0x3a,0x4f,0xb7,0x74,0xeb,0x51,0xed,0xdb,0x8e,0x86};
    static int           borrow9         = 0;
    uint256_from_bytes(minuend, minuend9);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend9);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference9, difference_data, 32) != 0 || borrow9 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend10[32]    = {0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7,0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x50,0x3f,0x63,0xaf,0x83};
    static std::uint32_t subtrahend10     = 2363175007;
    static std::uint8_t  difference10[32] = {0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7,0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x4f,0xb2,0x88,0x7f,0x24};
    static int           borrow10         = 0;
    uint256_from_bytes(minuend, minuend10);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend10);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference10, difference_data, 32) != 0 || borrow10 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend11[32]    = {0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40,0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0xb4,0xd6,0x6a,0x3a};
    static std::uint32_t subtrahend11     = 648200381;
    static std::uint8_t  difference11[32] = {0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40,0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0x8e,0x33,0xa9,0x7d};
    static int           borrow11         = 0;
    uint256_from_bytes(minuend, minuend11);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend11);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference11, difference_data, 32) != 0 || borrow11 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend12[32]    = {0x64,0xe5,0x0c,0xad,0x66,0x23,0x7a,0x04,0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3,0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x7f,0xdf,0xe0,0x18,0x93};
    static std::uint32_t subtrahend12     = 1719888006;
    static std::uint8_t  difference12[32] = {0x64,0xe5,0x0c,0xad,0x66,0x23,0x7a,0x04,0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3,0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x7f,0x79,0x5c,0xb0,0x0d};
    static int           borrow12         = 0;
    uint256_from_bytes(minuend, minuend12);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend12);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference12, difference_data, 32) != 0 || borrow12 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend13[32]    = {0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c,0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16,0x00,0x0f,0x49,0xc8,0x1a,0x35,0x8c,0xa0,0x0d,0x75,0x98,0x5d};
    static std::uint32_t subtrahend13     = 2635981472;
    static std::uint8_t  difference13[32] = {0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c,0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16,0x00,0x0f,0x49,0xc8,0x1a,0x35,0x8c,0x9f,0x70,0x57,0xb5,0xbd};
    static int           borrow13         = 0;
    uint256_from_bytes(minuend, minuend13);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend13);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference13, difference_data, 32) != 0 || borrow13 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend14[32]    = {0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x65,0x57,0xb6,0xfb,0x7e};
    static std::uint32_t subtrahend14     = 1553714997;
    static std::uint8_t  difference14[32] = {0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x64,0xfb,0x1b,0x2c,0x49};
    static int           borrow14         = 0;
    uint256_from_bytes(minuend, minuend14);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend14);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference14, difference_data, 32) != 0 || borrow14 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend15[32]    = {0xe8,0x83,0xa1,0xd4,0x5d,0xe0,0x09,0x97,0x84,0xb5,0xa8,0x18,0x42,0xd8,0x72,0x08,0xd8,0x6f,0x40,0xf6,0xb2,0x39,0xf3,0xc7,0x17,0x4c,0x77,0xa2,0xdd,0x02,0xde,0x92};
    static std::uint32_t subtrahend15     = 2159067275;
    static std::uint8_t  difference15[32] = {0xe8,0x83,0xa1,0xd4,0x5d,0xe0,0x09,0x97,0x84,0xb5,0xa8,0x18,0x42,0xd8,0x72,0x08,0xd8,0x6f,0x40,0xf6,0xb2,0x39,0xf3,0xc7,0x17,0x4c,0x77,0xa2,0x5c,0x52,0x1e,0x07};
    static int           borrow15         = 0;
    uint256_from_bytes(minuend, minuend15);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend15);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference15, difference_data, 32) != 0 || borrow15 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend16[32]    = {0xda,0x45,0xe1,0x8a,0xc2,0x21,0x6b,0x02,0xfc,0x24,0x1d,0x0b,0xc9,0xd4,0x88,0xb1,0xcf,0xbf,0x33,0x60,0x9c,0xfc,0x86,0x52,0x39,0x19,0x42,0x42,0xa2,0xed,0xdb,0xbd};
    static std::uint32_t subtrahend16     = 3462081170;
    static std::uint8_t  difference16[32] = {0xda,0x45,0xe1,0x8a,0xc2,0x21,0x6b,0x02,0xfc,0x24,0x1d,0x0b,0xc9,0xd4,0x88,0xb1,0xcf,0xbf,0x33,0x60,0x9c,0xfc,0x86,0x52,0x39,0x19,0x42,0x41,0xd4,0x92,0xb1,0x2b};
    static int           borrow16         = 0;
    uint256_from_bytes(minuend, minuend16);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend16);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference16, difference_data, 32) != 0 || borrow16 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend17[32]    = {0x7e,0x26,0xf3,0x6a,0x84,0x83,0xf8,0xb8,0x33,0x2d,0xd3,0x31,0x3a,0x0b,0x99,0x65,0xcd,0xa6,0xc6,0xfd,0xbd,0x68,0x51,0x67,0x66,0x93,0x40,0x36,0xd1,0x7e,0x44,0x97};
    static std::uint32_t subtrahend17     = 3139638261;
    static std::uint8_t  difference17[32] = {0x7e,0x26,0xf3,0x6a,0x84,0x83,0xf8,0xb8,0x33,0x2d,0xd3,0x31,0x3a,0x0b,0x99,0x65,0xcd,0xa6,0xc6,0xfd,0xbd,0x68,0x51,0x67,0x66,0x93,0x40,0x36,0x16,0x5b,0x30,0xa2};
    static int           borrow17         = 0;
    uint256_from_bytes(minuend, minuend17);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend17);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference17, difference_data, 32) != 0 || borrow17 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend18[32]    = {0x32,0x5b,0x55,0xdd,0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x05,0xf9,0x79,0xd0,0x4a};
    static std::uint32_t subtrahend18     = 877776915;
    static std::uint8_t  difference18[32] = {0x32,0x5b,0x55,0xdd,0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x05,0xc5,0x28,0x00,0x37};
    static int           borrow18         = 0;
    uint256_from_bytes(minuend, minuend18);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend18);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference18, difference_data, 32) != 0 || borrow18 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend19[32]    = {0xe8,0xe7,0x27,0x89,0x1e,0xb2,0x01,0x09,0xa9,0x1c,0x24,0x39,0xd5,0xab,0x8b,0x4d,0x15,0xb4,0x0a,0xeb,0xa4,0xa4,0x5e,0xff,0xcc,0xb5,0x73,0xd9,0x58,0x10,0xd6,0x0e};
    static std::uint32_t subtrahend19     = 3221828754;
    static std::uint8_t  difference19[32] = {0xe8,0xe7,0x27,0x89,0x1e,0xb2,0x01,0x09,0xa9,0x1c,0x24,0x39,0xd5,0xab,0x8b,0x4d,0x15,0xb4,0x0a,0xeb,0xa4,0xa4,0x5e,0xff,0xcc,0xb5,0x73,0xd8,0x98,0x07,0xa1,0x7c};
    static int           borrow19         = 0;
    uint256_from_bytes(minuend, minuend19);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend19);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference19, difference_data, 32) != 0 || borrow19 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend20[32]    = {0xf2,0x61,0x49,0xed,0xbe,0x4c,0x5c,0xe6,0x66,0xc1,0x49,0x4e,0x76,0x91,0xb0,0x6f,0x65,0x55,0xab,0xfe,0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x31,0xf2,0x37,0xe4,0x5a};
    static std::uint32_t subtrahend20     = 3112986562;
    static std::uint8_t  difference20[32] = {0xf2,0x61,0x49,0xed,0xbe,0x4c,0x5c,0xe6,0x66,0xc1,0x49,0x4e,0x76,0x91,0xb0,0x6f,0x65,0x55,0xab,0xfe,0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x31,0x38,0xab,0x7c,0x98};
    static int           borrow20         = 0;
    uint256_from_bytes(minuend, minuend20);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend20);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference20, difference_data, 32) != 0 || borrow20 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend21[32]    = {0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a,0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15,0x31,0xde,0xc4,0xf4,0xdf,0x2a,0x8b,0x79};
    static std::uint32_t subtrahend21     = 2152474070;
    static std::uint8_t  difference21[32] = {0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a,0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15,0x31,0xde,0xc4,0xf4,0x5e,0xde,0x65,0xa3};
    static int           borrow21         = 0;
    uint256_from_bytes(minuend, minuend21);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend21);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference21, difference_data, 32) != 0 || borrow21 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend22[32]    = {0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31,0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0d,0xc3,0x80,0x84,0xa0};
    static std::uint32_t subtrahend22     = 2154565813;
    static std::uint8_t  difference22[32] = {0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31,0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0d,0x43,0x14,0x73,0xeb};
    static int           borrow22         = 0;
    uint256_from_bytes(minuend, minuend22);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend22);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference22, difference_data, 32) != 0 || borrow22 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend23[32]    = {0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19,0x26,0xde,0xbf,0xdb,0x88,0x25,0xae,0x56};
    static std::uint32_t subtrahend23     = 2613722295;
    static std::uint8_t  difference23[32] = {0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19,0x26,0xde,0xbf,0xda,0xec,0x5b,0x71,0x9f};
    static int           borrow23         = 0;
    uint256_from_bytes(minuend, minuend23);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend23);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference23, difference_data, 32) != 0 || borrow23 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend24[32]    = {0xb9,0xa6,0x44,0x2e,0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x46,0xc6,0xaa,0x7d,0x55};
    static std::uint32_t subtrahend24     = 2390044639;
    static std::uint8_t  difference24[32] = {0xb9,0xa6,0x44,0x2e,0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x46,0x38,0x35,0x4d,0x76};
    static int           borrow24         = 0;
    uint256_from_bytes(minuend, minuend24);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend24);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference24, difference_data, 32) != 0 || borrow24 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend25[32]    = {0xc6,0xc8,0x0e,0x2b,0xc8,0xc6,0x14,0xb2,0x7b,0x84,0x44,0xd1,0x8e,0x31,0x70,0x41,0x87,0xdd,0xae,0xb7,0x84,0xb2,0x80,0x54,0xae,0xad,0x44,0xb0,0x53,0x73,0x90,0xe5};
    static std::uint32_t subtrahend25     = 244051092;
    static std::uint8_t  difference25[32] = {0xc6,0xc8,0x0e,0x2b,0xc8,0xc6,0x14,0xb2,0x7b,0x84,0x44,0xd1,0x8e,0x31,0x70,0x41,0x87,0xdd,0xae,0xb7,0x84,0xb2,0x80,0x54,0xae,0xad,0x44,0xb0,0x44,0xe7,0xa4,0x51};
    static int           borrow25         = 0;
    uint256_from_bytes(minuend, minuend25);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend25);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference25, difference_data, 32) != 0 || borrow25 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend26[32]    = {0x8f,0xcd,0x7f,0x40,0x73,0xc1,0xcd,0x2c,0x81,0xf9,0x8b,0x52,0x19,0x05,0xd5,0x91,0xc5,0xb2,0xe7,0x5a,0x0a,0xcd,0x8b,0xe1,0x46,0xe4,0x09,0x90,0x30,0xf9,0x70,0x58};
    static std::uint32_t subtrahend26     = 3919106286;
    static std::uint8_t  difference26[32] = {0x8f,0xcd,0x7f,0x40,0x73,0xc1,0xcd,0x2c,0x81,0xf9,0x8b,0x52,0x19,0x05,0xd5,0x91,0xc5,0xb2,0xe7,0x5a,0x0a,0xcd,0x8b,0xe1,0x46,0xe4,0x09,0x8f,0x47,0x60,0x9f,0x6a};
    static int           borrow26         = 0;
    uint256_from_bytes(minuend, minuend26);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend26);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference26, difference_data, 32) != 0 || borrow26 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend27[32]    = {0xf1,0x06,0x37,0xce,0x81,0xfc,0x06,0x9e,0x7a,0x60,0x96,0x83,0xce,0xaf,0x49,0x15,0x88,0x85,0x64,0xe8,0x82,0x16,0x85,0x8f,0x73,0xcc,0xef,0x03,0x46,0xf5,0xa1,0xb4};
    static std::uint32_t subtrahend27     = 4051301074;
    static std::uint8_t  difference27[32] = {0xf1,0x06,0x37,0xce,0x81,0xfc,0x06,0x9e,0x7a,0x60,0x96,0x83,0xce,0xaf,0x49,0x15,0x88,0x85,0x64,0xe8,0x82,0x16,0x85,0x8f,0x73,0xcc,0xef,0x02,0x55,0x7b,0xae,0xe2};
    static int           borrow27         = 0;
    uint256_from_bytes(minuend, minuend27);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend27);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference27, difference_data, 32) != 0 || borrow27 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend28[32]    = {0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4,0x1f,0x22,0x9d,0xd0,0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbd,0xd7,0x0a,0x39,0xd1};
    static std::uint32_t subtrahend28     = 2882590715;
    static std::uint8_t  difference28[32] = {0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4,0x1f,0x22,0x9d,0xd0,0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbd,0x2b,0x39,0x61,0xd6};
    static int           borrow28         = 0;
    uint256_from_bytes(minuend, minuend28);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend28);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference28, difference_data, 32) != 0 || borrow28 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend29[32]    = {0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0,0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3,0xfd,0x68,0x37,0x3b,0x29,0xac,0xf1,0xa5,0x7c,0xbd,0x1f,0x5a};
    static std::uint32_t subtrahend29     = 1734349671;
    static std::uint8_t  difference29[32] = {0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0,0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3,0xfd,0x68,0x37,0x3b,0x29,0xac,0xf1,0xa5,0x15,0x5d,0x0b,0xf3};
    static int           borrow29         = 0;
    uint256_from_bytes(minuend, minuend29);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend29);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference29, difference_data, 32) != 0 || borrow29 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend30[32]    = {0x04,0xfc,0xd5,0x55,0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x96,0x6b,0xd8,0xc6,0x76};
    static std::uint32_t subtrahend30     = 2379627705;
    static std::uint8_t  difference30[32] = {0x04,0xfc,0xd5,0x55,0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x95,0xde,0x02,0x89,0xbd};
    static int           borrow30         = 0;
    uint256_from_bytes(minuend, minuend30);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend30);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference30, difference_data, 32) != 0 || borrow30 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend31[32]    = {0x2e,0x7a,0x26,0xe9,0xc7,0x6c,0x60,0x3f,0xe7,0xe8,0xf9,0xf6,0x0a,0x22,0x73,0x85,0x45,0x9c,0x94,0x5c,0x43,0xfc,0x05,0x27,0x15,0x85,0x0a,0x03,0x1a,0xd2,0xd5,0xf1};
    static std::uint32_t subtrahend31     = 3246035554;
    static std::uint8_t  difference31[32] = {0x2e,0x7a,0x26,0xe9,0xc7,0x6c,0x60,0x3f,0xe7,0xe8,0xf9,0xf6,0x0a,0x22,0x73,0x85,0x45,0x9c,0x94,0x5c,0x43,0xfc,0x05,0x27,0x15,0x85,0x0a,0x02,0x59,0x58,0x43,0x8f};
    static int           borrow31         = 0;
    uint256_from_bytes(minuend, minuend31);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend31);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference31, difference_data, 32) != 0 || borrow31 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend32[32]    = {0x42,0x34,0x33,0x54,0xf2,0x2d,0x28,0x82,0xd1,0xa8,0x9b,0x37,0xad,0x0c,0x9b,0xb6,0xe9,0x52,0x6a,0x69,0xd9,0x7e,0x96,0x7b,0x6c,0x18,0xd9,0x82,0xd1,0xdc,0xec,0x53};
    static std::uint32_t subtrahend32     = 2450686540;
    static std::uint8_t  difference32[32] = {0x42,0x34,0x33,0x54,0xf2,0x2d,0x28,0x82,0xd1,0xa8,0x9b,0x37,0xad,0x0c,0x9b,0xb6,0xe9,0x52,0x6a,0x69,0xd9,0x7e,0x96,0x7b,0x6c,0x18,0xd9,0x82,0x3f,0xca,0x6a,0x07};
    static int           borrow32         = 0;
    uint256_from_bytes(minuend, minuend32);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend32);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference32, difference_data, 32) != 0 || borrow32 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend33[32]    = {0x2e,0xef,0xa2,0x79,0xb0,0x2e,0x3d,0x8d,0xcc,0xb1,0xc5,0x1d,0x0e,0xba,0x0e,0xa8,0x47,0x70,0xa0,0x87,0x16,0xe6,0xfe,0xc3,0x53,0xb9,0x73,0x77,0xb3,0x4e,0x8e,0xce};
    static std::uint32_t subtrahend33     = 3845220704;
    static std::uint8_t  difference33[32] = {0x2e,0xef,0xa2,0x79,0xb0,0x2e,0x3d,0x8d,0xcc,0xb1,0xc5,0x1d,0x0e,0xba,0x0e,0xa8,0x47,0x70,0xa0,0x87,0x16,0xe6,0xfe,0xc3,0x53,0xb9,0x73,0x76,0xce,0x1d,0x25,0x6e};
    static int           borrow33         = 0;
    uint256_from_bytes(minuend, minuend33);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend33);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference33, difference_data, 32) != 0 || borrow33 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend34[32]    = {0x02,0xf4,0xb3,0x42,0x74,0x2a,0x80,0x63,0x1f,0x26,0x42,0xaa,0xdc,0xde,0xd2,0x04,0x43,0xb3,0x0f,0x66,0x11,0x0e,0x2c,0xb6,0x38,0xef,0xba,0xeb,0xdb,0x31,0xcc,0xd2};
    static std::uint32_t subtrahend34     = 3931727770;
    static std::uint8_t  difference34[32] = {0x02,0xf4,0xb3,0x42,0x74,0x2a,0x80,0x63,0x1f,0x26,0x42,0xaa,0xdc,0xde,0xd2,0x04,0x43,0xb3,0x0f,0x66,0x11,0x0e,0x2c,0xb6,0x38,0xef,0xba,0xea,0xf0,0xd8,0x65,0x38};
    static int           borrow34         = 0;
    uint256_from_bytes(minuend, minuend34);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend34);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference34, difference_data, 32) != 0 || borrow34 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend35[32]    = {0xa0,0xf0,0x96,0xda,0x4f,0xde,0xbb,0xec,0xee,0xa7,0xbb,0x64,0x33,0xa7,0x15,0x68,0x2e,0x5f,0x95,0x0c,0x0c,0xe5,0xaf,0x69,0x43,0x0b,0x91,0xed,0x29,0x54,0xba,0x5c};
    static std::uint32_t subtrahend35     = 884211552;
    static std::uint8_t  difference35[32] = {0xa0,0xf0,0x96,0xda,0x4f,0xde,0xbb,0xec,0xee,0xa7,0xbb,0x64,0x33,0xa7,0x15,0x68,0x2e,0x5f,0x95,0x0c,0x0c,0xe5,0xaf,0x69,0x43,0x0b,0x91,0xec,0xf4,0xa0,0xba,0xfc};
    static int           borrow35         = 0;
    uint256_from_bytes(minuend, minuend35);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend35);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference35, difference_data, 32) != 0 || borrow35 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend36[32]    = {0xfa,0x61,0x97,0x74,0x8d,0x11,0x8e,0x37,0x81,0x72,0x8a,0x07,0xbb,0xab,0x27,0xf6,0x04,0xb8,0x15,0x7d,0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x40,0x40,0x1d,0x68,0xfb};
    static std::uint32_t subtrahend36     = 2208622121;
    static std::uint8_t  difference36[32] = {0xfa,0x61,0x97,0x74,0x8d,0x11,0x8e,0x37,0x81,0x72,0x8a,0x07,0xbb,0xab,0x27,0xf6,0x04,0xb8,0x15,0x7d,0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x3f,0xbc,0x78,0x82,0xd2};
    static int           borrow36         = 0;
    uint256_from_bytes(minuend, minuend36);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend36);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference36, difference_data, 32) != 0 || borrow36 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend37[32]    = {0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd,0x23,0xc4,0x9c,0xae,0xa2,0xcf,0x62,0xba};
    static std::uint32_t subtrahend37     = 61225318;
    static std::uint8_t  difference37[32] = {0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd,0x23,0xc4,0x9c,0xae,0x9f,0x29,0x29,0x54};
    static int           borrow37         = 0;
    uint256_from_bytes(minuend, minuend37);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend37);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference37, difference_data, 32) != 0 || borrow37 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend38[32]    = {0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e,0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x77,0xff,0xd7,0x5d,0x67,0x69};
    static std::uint32_t subtrahend38     = 2975061660;
    static std::uint8_t  difference38[32] = {0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e,0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x77,0xff,0x26,0x09,0x90,0xcd};
    static int           borrow38         = 0;
    uint256_from_bytes(minuend, minuend38);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend38);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference38, difference_data, 32) != 0 || borrow38 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend39[32]    = {0x43,0x63,0xe5,0xd9,0x00,0xed,0x6b,0x02,0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24,0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x59,0x0b,0x94,0xaf,0x3a};
    static std::uint32_t subtrahend39     = 4130841704;
    static std::uint8_t  difference39[32] = {0x43,0x63,0xe5,0xd9,0x00,0xed,0x6b,0x02,0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24,0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x58,0x15,0x5d,0x0a,0xd2};
    static int           borrow39         = 0;
    uint256_from_bytes(minuend, minuend39);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend39);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference39, difference_data, 32) != 0 || borrow39 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend40[32]    = {0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11,0x3e,0x94,0x0b,0xb4,0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xa9,0xf8,0xfd,0xd2,0x08};
    static std::uint32_t subtrahend40     = 935726744;
    static std::uint8_t  difference40[32] = {0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11,0x3e,0x94,0x0b,0xb4,0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xa9,0xc1,0x37,0xc3,0x70};
    static int           borrow40         = 0;
    uint256_from_bytes(minuend, minuend40);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend40);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference40, difference_data, 32) != 0 || borrow40 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend41[32]    = {0xd1,0x29,0xd0,0x67,0x43,0xa0,0x8f,0x06,0x17,0x42,0x0e,0x94,0x01,0x44,0x70,0x2b,0xc6,0xb7,0x89,0xef,0x81,0x36,0x5a,0xcc,0x3f,0x88,0xaf,0x59,0x33,0x73,0x6d,0xcc};
    static std::uint32_t subtrahend41     = 617896092;
    static std::uint8_t  difference41[32] = {0xd1,0x29,0xd0,0x67,0x43,0xa0,0x8f,0x06,0x17,0x42,0x0e,0x94,0x01,0x44,0x70,0x2b,0xc6,0xb7,0x89,0xef,0x81,0x36,0x5a,0xcc,0x3f,0x88,0xaf,0x59,0x0e,0x9f,0x15,0x30};
    static int           borrow41         = 0;
    uint256_from_bytes(minuend, minuend41);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend41);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference41, difference_data, 32) != 0 || borrow41 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend42[32]    = {0x3b,0x99,0x68,0x70,0xa1,0x32,0x0b,0x9d,0x4d,0xe2,0xf8,0xad,0x4c,0xb5,0x9a,0xa7,0x05,0xc2,0x2d,0x3f,0x64,0xdb,0xc8,0xd3,0x0a,0xaa,0xaf,0x81,0x96,0x38,0x92,0xa7};
    static std::uint32_t subtrahend42     = 3223547465;
    static std::uint8_t  difference42[32] = {0x3b,0x99,0x68,0x70,0xa1,0x32,0x0b,0x9d,0x4d,0xe2,0xf8,0xad,0x4c,0xb5,0x9a,0xa7,0x05,0xc2,0x2d,0x3f,0x64,0xdb,0xc8,0xd3,0x0a,0xaa,0xaf,0x80,0xd6,0x15,0x24,0x5e};
    static int           borrow42         = 0;
    uint256_from_bytes(minuend, minuend42);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend42);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference42, difference_data, 32) != 0 || borrow42 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend43[32]    = {0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d,0xc8,0xb6,0xea,0xff,0xb7,0x4b,0x58,0x9b,0xe4,0x8e,0x9e,0x02,0xa8,0x54,0xc8,0x34};
    static std::uint32_t subtrahend43     = 2122533124;
    static std::uint8_t  difference43[32] = {0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d,0xc8,0xb6,0xea,0xff,0xb7,0x4b,0x58,0x9b,0xe4,0x8e,0x9e,0x02,0x29,0xd1,0x7f,0x30};
    static int           borrow43         = 0;
    uint256_from_bytes(minuend, minuend43);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend43);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference43, difference_data, 32) != 0 || borrow43 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend44[32]    = {0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b,0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x85,0xe4,0x56,0x55,0x9c};
    static std::uint32_t subtrahend44     = 2761190677;
    static std::uint8_t  difference44[32] = {0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b,0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x85,0x3f,0xc1,0xe8,0x87};
    static int           borrow44         = 0;
    uint256_from_bytes(minuend, minuend44);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend44);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference44, difference_data, 32) != 0 || borrow44 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend45[32]    = {0x1a,0xdb,0xce,0x5d,0xf5,0xa2,0xd8,0x79,0x5c,0x57,0x53,0x2b,0xa3,0x1a,0x49,0xdd,0x22,0x12,0x65,0x40,0x0a,0xb7,0x79,0x88,0x07,0xfa,0x22,0xf7,0x15,0xc8,0x91,0xff};
    static std::uint32_t subtrahend45     = 3589824707;
    static std::uint8_t  difference45[32] = {0x1a,0xdb,0xce,0x5d,0xf5,0xa2,0xd8,0x79,0x5c,0x57,0x53,0x2b,0xa3,0x1a,0x49,0xdd,0x22,0x12,0x65,0x40,0x0a,0xb7,0x79,0x88,0x07,0xfa,0x22,0xf6,0x3f,0xd0,0x31,0x3c};
    static int           borrow45         = 0;
    uint256_from_bytes(minuend, minuend45);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend45);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference45, difference_data, 32) != 0 || borrow45 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend46[32]    = {0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01,0xa0,0x50,0x60,0x98,0x04,0xd2,0xbe,0x09,0xa0,0xb5,0x58,0x64,0x0c,0xff,0xf0,0x54,0x8e,0xfb,0xa4,0x42};
    static std::uint32_t subtrahend46     = 1132981883;
    static std::uint8_t  difference46[32] = {0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01,0xa0,0x50,0x60,0x98,0x04,0xd2,0xbe,0x09,0xa0,0xb5,0x58,0x64,0x0c,0xff,0xf0,0x54,0x4b,0x73,0xb5,0xc7};
    static int           borrow46         = 0;
    uint256_from_bytes(minuend, minuend46);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend46);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference46, difference_data, 32) != 0 || borrow46 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend47[32]    = {0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa,0x11,0xf2,0xd4,0x4d,0xcc,0x35,0xe8,0x34,0x74,0xfa,0x94,0x12};
    static std::uint32_t subtrahend47     = 3164481770;
    static std::uint8_t  difference47[32] = {0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa,0x11,0xf2,0xd4,0x4d,0xcc,0x35,0xe8,0x33,0xb8,0x5c,0x6b,0x28};
    static int           borrow47         = 0;
    uint256_from_bytes(minuend, minuend47);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend47);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference47, difference_data, 32) != 0 || borrow47 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend48[32]    = {0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73,0x3c,0x1a,0xe9,0x17,0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2,0xcf,0x28,0xf6,0x5e,0x40,0x8f,0xc1,0x46};
    static std::uint32_t subtrahend48     = 1977145508;
    static std::uint8_t  difference48[32] = {0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73,0x3c,0x1a,0xe9,0x17,0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2,0xcf,0x28,0xf6,0x5d,0xca,0xb6,0xe8,0xa2};
    static int           borrow48         = 0;
    uint256_from_bytes(minuend, minuend48);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend48);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference48, difference_data, 32) != 0 || borrow48 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend49[32]    = {0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1,0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd1,0xd8,0x74,0xbc,0x79};
    static std::uint32_t subtrahend49     = 2760645980;
    static std::uint8_t  difference49[32] = {0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1,0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd1,0x33,0xe8,0x9f,0x1d};
    static int           borrow49         = 0;
    uint256_from_bytes(minuend, minuend49);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend49);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference49, difference_data, 32) != 0 || borrow49 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend50[32]    = {0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b,0xa6,0xca,0xf4,0xa3,0x41,0x02,0x3a,0xed,0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xe0,0x13,0xd5,0x31,0x6f};
    static std::uint32_t subtrahend50     = 573124782;
    static std::uint8_t  difference50[32] = {0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b,0xa6,0xca,0xf4,0xa3,0x41,0x02,0x3a,0xed,0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xdf,0xf1,0xac,0x00,0xc1};
    static int           borrow50         = 0;
    uint256_from_bytes(minuend, minuend50);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend50);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference50, difference_data, 32) != 0 || borrow50 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend51[32]    = {0xb1,0x33,0x0c,0x3f,0x19,0x7a,0x14,0xe2,0xac,0x08,0x4b,0xa5,0xf8,0xf6,0x59,0xac,0x44,0xce,0x4a,0xb3,0x7c,0x5d,0x42,0xdc,0x0f,0x87,0x7a,0xe3,0x7b,0x7f,0xec,0x4b};
    static std::uint32_t subtrahend51     = 2902142302;
    static std::uint8_t  difference51[32] = {0xb1,0x33,0x0c,0x3f,0x19,0x7a,0x14,0xe2,0xac,0x08,0x4b,0xa5,0xf8,0xf6,0x59,0xac,0x44,0xce,0x4a,0xb3,0x7c,0x5d,0x42,0xdc,0x0f,0x87,0x7a,0xe2,0xce,0x84,0xbe,0xed};
    static int           borrow51         = 0;
    uint256_from_bytes(minuend, minuend51);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend51);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference51, difference_data, 32) != 0 || borrow51 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend52[32]    = {0xc4,0x65,0x3c,0xde,0x77,0x62,0x00,0xb5,0x77,0x45,0x10,0xca,0x76,0xf4,0x25,0x1e,0x49,0x19,0x61,0xa1,0x84,0x3b,0xae,0xe9,0xb5,0x78,0x90,0x9c,0x4a,0x75,0x91,0xf2};
    static std::uint32_t subtrahend52     = 2358265662;
    static std::uint8_t  difference52[32] = {0xc4,0x65,0x3c,0xde,0x77,0x62,0x00,0xb5,0x77,0x45,0x10,0xca,0x76,0xf4,0x25,0x1e,0x49,0x19,0x61,0xa1,0x84,0x3b,0xae,0xe9,0xb5,0x78,0x90,0x9b,0xbd,0xe5,0x4a,0xb4};
    static int           borrow52         = 0;
    uint256_from_bytes(minuend, minuend52);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend52);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference52, difference_data, 32) != 0 || borrow52 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend53[32]    = {0x75,0x7f,0x1c,0xba,0x4a,0x22,0x7f,0x39,0x04,0x7b,0x2c,0x10,0x79,0x12,0xef,0x4a,0xef,0xae,0x5d,0x4e,0x15,0xfa,0x8b,0x65,0xfa,0x66,0x72,0xcd,0x4f,0xc9,0xe9,0x18};
    static std::uint32_t subtrahend53     = 1153874069;
    static std::uint8_t  difference53[32] = {0x75,0x7f,0x1c,0xba,0x4a,0x22,0x7f,0x39,0x04,0x7b,0x2c,0x10,0x79,0x12,0xef,0x4a,0xef,0xae,0x5d,0x4e,0x15,0xfa,0x8b,0x65,0xfa,0x66,0x72,0xcd,0x0b,0x03,0x30,0x83};
    static int           borrow53         = 0;
    uint256_from_bytes(minuend, minuend53);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend53);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference53, difference_data, 32) != 0 || borrow53 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend54[32]    = {0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24,0x35,0xf1,0x03,0x00,0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6c,0x35,0xb7,0xe4,0x48};
    static std::uint32_t subtrahend54     = 1544270863;
    static std::uint8_t  difference54[32] = {0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24,0x35,0xf1,0x03,0x00,0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6b,0xd9,0xac,0x30,0x39};
    static int           borrow54         = 0;
    uint256_from_bytes(minuend, minuend54);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend54);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference54, difference_data, 32) != 0 || borrow54 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend55[32]    = {0xb4,0x0d,0xe5,0x6d,0x1c,0xd8,0x6f,0xc1,0xe3,0x09,0x66,0x19,0x47,0x91,0xc2,0xe9,0x82,0x3d,0x11,0xed,0xa1,0xb5,0x01,0xd6,0xd1,0xf9,0xbd,0xfe,0x9a,0x76,0x2d,0x54};
    static std::uint32_t subtrahend55     = 993785023;
    static std::uint8_t  difference55[32] = {0xb4,0x0d,0xe5,0x6d,0x1c,0xd8,0x6f,0xc1,0xe3,0x09,0x66,0x19,0x47,0x91,0xc2,0xe9,0x82,0x3d,0x11,0xed,0xa1,0xb5,0x01,0xd6,0xd1,0xf9,0xbd,0xfe,0x5f,0x3a,0x38,0x95};
    static int           borrow55         = 0;
    uint256_from_bytes(minuend, minuend55);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend55);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference55, difference_data, 32) != 0 || borrow55 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend56[32]    = {0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11,0x28,0xb8,0x80,0x73,0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xce,0xe5,0xd0,0x0a,0x4d};
    static std::uint32_t subtrahend56     = 2927398665;
    static std::uint8_t  difference56[32] = {0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11,0x28,0xb8,0x80,0x73,0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xce,0x37,0x53,0x7b,0x44};
    static int           borrow56         = 0;
    uint256_from_bytes(minuend, minuend56);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend56);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference56, difference_data, 32) != 0 || borrow56 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend57[32]    = {0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb,0x24,0x05,0x63,0x60,0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc7,0x67,0xc9,0x8f,0xb9};
    static std::uint32_t subtrahend57     = 3608764809;
    static std::uint8_t  difference57[32] = {0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb,0x24,0x05,0x63,0x60,0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc6,0x90,0xb0,0x2e,0x30};
    static int           borrow57         = 0;
    uint256_from_bytes(minuend, minuend57);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend57);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference57, difference_data, 32) != 0 || borrow57 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend58[32]    = {0x5f,0x49,0xf0,0xfc,0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05,0xb6,0x88,0xb6,0x61,0x32,0x1c,0x17,0x44};
    static std::uint32_t subtrahend58     = 1687489986;
    static std::uint8_t  difference58[32] = {0x5f,0x49,0xf0,0xfc,0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05,0xb6,0x88,0xb6,0x60,0xcd,0x87,0x09,0x82};
    static int           borrow58         = 0;
    uint256_from_bytes(minuend, minuend58);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend58);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference58, difference_data, 32) != 0 || borrow58 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend59[32]    = {0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e,0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe7,0xff,0xb0,0xdd,0x9e};
    static std::uint32_t subtrahend59     = 3668998441;
    static std::uint8_t  difference59[32] = {0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e,0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe7,0x25,0x00,0x64,0x75};
    static int           borrow59         = 0;
    uint256_from_bytes(minuend, minuend59);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend59);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference59, difference_data, 32) != 0 || borrow59 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend60[32]    = {0xef,0x82,0xd1,0xa3,0xa2,0x8c,0xf7,0xb1,0x49,0x1e,0x99,0xf5,0xa9,0x77,0x66,0xfb,0xd5,0xad,0x53,0x60,0x0d,0x36,0xce,0x2c,0x1a,0x09,0xa8,0x40,0x47,0xd7,0xdf,0x79};
    static std::uint32_t subtrahend60     = 1141293139;
    static std::uint8_t  difference60[32] = {0xef,0x82,0xd1,0xa3,0xa2,0x8c,0xf7,0xb1,0x49,0x1e,0x99,0xf5,0xa9,0x77,0x66,0xfb,0xd5,0xad,0x53,0x60,0x0d,0x36,0xce,0x2c,0x1a,0x09,0xa8,0x40,0x03,0xd1,0x1f,0x26};
    static int           borrow60         = 0;
    uint256_from_bytes(minuend, minuend60);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend60);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference60, difference_data, 32) != 0 || borrow60 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend61[32]    = {0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b,0xb8,0x35,0xe8,0xa5,0x34,0x14,0x5e,0x87,0x8c,0x9a,0x37,0x51};
    static std::uint32_t subtrahend61     = 3734383213;
    static std::uint8_t  difference61[32] = {0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b,0xb8,0x35,0xe8,0xa5,0x34,0x14,0x5e,0x86,0xae,0x04,0x0c,0xe4};
    static int           borrow61         = 0;
    uint256_from_bytes(minuend, minuend61);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend61);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference61, difference_data, 32) != 0 || borrow61 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend62[32]    = {0x78,0xe1,0x0e,0x70,0x2b,0xb7,0x1c,0x68,0x20,0x97,0x79,0x8c,0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba,0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0x7c,0x4e,0xa6,0x03};
    static std::uint32_t subtrahend62     = 1476020709;
    static std::uint8_t  difference62[32] = {0x78,0xe1,0x0e,0x70,0x2b,0xb7,0x1c,0x68,0x20,0x97,0x79,0x8c,0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba,0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0x24,0x54,0x5c,0x1e};
    static int           borrow62         = 0;
    uint256_from_bytes(minuend, minuend62);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend62);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference62, difference_data, 32) != 0 || borrow62 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend63[32]    = {0x8c,0xe6,0x21,0xef,0x7f,0x40,0x5b,0xc8,0xcf,0xd3,0xdd,0x72,0xe7,0xec,0xfd,0x0c,0x80,0x27,0xa2,0xa2,0x35,0x37,0x22,0x35,0x13,0x3e,0x61,0x53,0x29,0x62,0x59,0xc8};
    static std::uint32_t subtrahend63     = 3260944719;
    static std::uint8_t  difference63[32] = {0x8c,0xe6,0x21,0xef,0x7f,0x40,0x5b,0xc8,0xcf,0xd3,0xdd,0x72,0xe7,0xec,0xfd,0x0c,0x80,0x27,0xa2,0xa2,0x35,0x37,0x22,0x35,0x13,0x3e,0x61,0x52,0x67,0x04,0x48,0x79};
    static int           borrow63         = 0;
    uint256_from_bytes(minuend, minuend63);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend63);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference63, difference_data, 32) != 0 || borrow63 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend64[32]    = {0x86,0x2f,0xe2,0x31,0xbe,0xef,0x67,0xfb,0x69,0xf4,0x46,0x12,0x62,0x01,0xa9,0xd3,0x69,0xac,0x0f,0x03,0xde,0xe0,0xa8,0x43,0xbf,0xe9,0x8f,0x8c,0x05,0x24,0x13,0x7f};
    static std::uint32_t subtrahend64     = 1618626354;
    static std::uint8_t  difference64[32] = {0x86,0x2f,0xe2,0x31,0xbe,0xef,0x67,0xfb,0x69,0xf4,0x46,0x12,0x62,0x01,0xa9,0xd3,0x69,0xac,0x0f,0x03,0xde,0xe0,0xa8,0x43,0xbf,0xe9,0x8f,0x8b,0xa4,0xa9,0xcc,0x4d};
    static int           borrow64         = 0;
    uint256_from_bytes(minuend, minuend64);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend64);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference64, difference_data, 32) != 0 || borrow64 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend65[32]    = {0x5c,0x32,0x7a,0x6d,0xf7,0xba,0x38,0xb6,0x93,0x04,0x10,0x6e,0x47,0x0b,0x4f,0xad,0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec,0xc0,0x8a,0x58,0xd7,0x56,0x94,0x7a,0x7a};
    static std::uint32_t subtrahend65     = 3644847894;
    static std::uint8_t  difference65[32] = {0x5c,0x32,0x7a,0x6d,0xf7,0xba,0x38,0xb6,0x93,0x04,0x10,0x6e,0x47,0x0b,0x4f,0xad,0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec,0xc0,0x8a,0x58,0xd6,0x7d,0x54,0x83,0x64};
    static int           borrow65         = 0;
    uint256_from_bytes(minuend, minuend65);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend65);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference65, difference_data, 32) != 0 || borrow65 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend66[32]    = {0x72,0x23,0xc6,0x8a,0xa5,0x52,0x9b,0x05,0x66,0x56,0x7b,0xc4,0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xc0,0x17,0xb4,0x83,0x4c};
    static std::uint32_t subtrahend66     = 4097156467;
    static std::uint8_t  difference66[32] = {0x72,0x23,0xc6,0x8a,0xa5,0x52,0x9b,0x05,0x66,0x56,0x7b,0xc4,0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xbf,0x23,0x7e,0xdd,0xd9};
    static int           borrow66         = 0;
    uint256_from_bytes(minuend, minuend66);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend66);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference66, difference_data, 32) != 0 || borrow66 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend67[32]    = {0x00,0x0b,0xb5,0xf9,0x7d,0x65,0x21,0x35,0x96,0x51,0x32,0xd6,0xf7,0xe1,0x47,0xfd,0x79,0x28,0x1c,0x19,0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe6,0xc3,0x81,0x3c,0xe6};
    static std::uint32_t subtrahend67     = 3674184203;
    static std::uint8_t  difference67[32] = {0x00,0x0b,0xb5,0xf9,0x7d,0x65,0x21,0x35,0x96,0x51,0x32,0xd6,0xf7,0xe1,0x47,0xfd,0x79,0x28,0x1c,0x19,0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe5,0xe8,0x81,0xa2,0xdb};
    static int           borrow67         = 0;
    uint256_from_bytes(minuend, minuend67);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend67);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference67, difference_data, 32) != 0 || borrow67 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend68[32]    = {0xc3,0x8b,0x48,0xa2,0xb2,0xd6,0x43,0xa2,0x6f,0xfb,0x72,0x6a,0xa2,0xe3,0xf9,0x3a,0x87,0x3b,0x99,0x03,0x40,0x75,0x91,0x6e,0xa0,0x60,0x84,0x6c,0x20,0xc2,0x6f,0x71};
    static std::uint32_t subtrahend68     = 427112113;
    static std::uint8_t  difference68[32] = {0xc3,0x8b,0x48,0xa2,0xb2,0xd6,0x43,0xa2,0x6f,0xfb,0x72,0x6a,0xa2,0xe3,0xf9,0x3a,0x87,0x3b,0x99,0x03,0x40,0x75,0x91,0x6e,0xa0,0x60,0x84,0x6c,0x07,0x4d,0x38,0xc0};
    static int           borrow68         = 0;
    uint256_from_bytes(minuend, minuend68);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend68);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference68, difference_data, 32) != 0 || borrow68 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend69[32]    = {0x0e,0x28,0xb6,0x4f,0x4e,0xb1,0x9f,0xca,0xa6,0x4f,0x76,0x13,0xb4,0x64,0x2e,0xa4,0x69,0x6c,0x63,0xd6,0xf5,0xea,0xd0,0x65,0x07,0x7e,0xf3,0x2a,0x3f,0x3f,0x37,0xea};
    static std::uint32_t subtrahend69     = 833718554;
    static std::uint8_t  difference69[32] = {0x0e,0x28,0xb6,0x4f,0x4e,0xb1,0x9f,0xca,0xa6,0x4f,0x76,0x13,0xb4,0x64,0x2e,0xa4,0x69,0x6c,0x63,0xd6,0xf5,0xea,0xd0,0x65,0x07,0x7e,0xf3,0x2a,0x0d,0x8d,0xae,0xd0};
    static int           borrow69         = 0;
    uint256_from_bytes(minuend, minuend69);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend69);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference69, difference_data, 32) != 0 || borrow69 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend70[32]    = {0xaa,0xd7,0xc7,0xc0,0x3a,0x53,0xc1,0x76,0x41,0xdb,0x89,0x8e,0x14,0xc2,0x73,0x2a,0x6b,0x86,0x29,0x0b,0xa5,0xac,0xd3,0x41,0xac,0xa9,0x9f,0xd0,0xe2,0x85,0x6e,0xc6};
    static std::uint32_t subtrahend70     = 3973535499;
    static std::uint8_t  difference70[32] = {0xaa,0xd7,0xc7,0xc0,0x3a,0x53,0xc1,0x76,0x41,0xdb,0x89,0x8e,0x14,0xc2,0x73,0x2a,0x6b,0x86,0x29,0x0b,0xa5,0xac,0xd3,0x41,0xac,0xa9,0x9f,0xcf,0xf5,0xae,0x17,0xbb};
    static int           borrow70         = 0;
    uint256_from_bytes(minuend, minuend70);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend70);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference70, difference_data, 32) != 0 || borrow70 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend71[32]    = {0x81,0x3f,0xb5,0xcd,0xd8,0x5b,0xbb,0x6b,0xbd,0x37,0x92,0x9d,0x4a,0xc7,0xcc,0xc3,0xcc,0x0c,0x66,0x82,0x01,0xba,0x98,0x5a,0x32,0xb5,0x58,0xfd,0x65,0x77,0xbb,0x54};
    static std::uint32_t subtrahend71     = 881407128;
    static std::uint8_t  difference71[32] = {0x81,0x3f,0xb5,0xcd,0xd8,0x5b,0xbb,0x6b,0xbd,0x37,0x92,0x9d,0x4a,0xc7,0xcc,0xc3,0xcc,0x0c,0x66,0x82,0x01,0xba,0x98,0x5a,0x32,0xb5,0x58,0xfd,0x30,0xee,0x86,0xbc};
    static int           borrow71         = 0;
    uint256_from_bytes(minuend, minuend71);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend71);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference71, difference_data, 32) != 0 || borrow71 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend72[32]    = {0x77,0x11,0xb7,0x57,0x3b,0x16,0x49,0x43,0x31,0xa5,0x9c,0x4a,0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xaf,0xf8,0x48,0xa9,0x56};
    static std::uint32_t subtrahend72     = 3819659907;
    static std::uint8_t  difference72[32] = {0x77,0x11,0xb7,0x57,0x3b,0x16,0x49,0x43,0x31,0xa5,0x9c,0x4a,0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xaf,0x14,0x9d,0x46,0xd3};
    static int           borrow72         = 0;
    uint256_from_bytes(minuend, minuend72);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend72);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference72, difference_data, 32) != 0 || borrow72 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend73[32]    = {0x39,0x2b,0xc5,0x52,0xe5,0x7f,0x76,0x91,0x2f,0xf3,0xc2,0x3c,0x9c,0x2f,0x67,0x23,0x7e,0xea,0x6f,0xe1,0x9f,0xa4,0x0d,0xd6,0xf3,0xb1,0x7a,0xf0,0x1b,0xe7,0xf3,0xcf};
    static std::uint32_t subtrahend73     = 2857417071;
    static std::uint8_t  difference73[32] = {0x39,0x2b,0xc5,0x52,0xe5,0x7f,0x76,0x91,0x2f,0xf3,0xc2,0x3c,0x9c,0x2f,0x67,0x23,0x7e,0xea,0x6f,0xe1,0x9f,0xa4,0x0d,0xd6,0xf3,0xb1,0x7a,0xef,0x71,0x97,0x3a,0x60};
    static int           borrow73         = 0;
    uint256_from_bytes(minuend, minuend73);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend73);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference73, difference_data, 32) != 0 || borrow73 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend74[32]    = {0x64,0xb0,0xbb,0x14,0x2f,0x21,0x7e,0x72,0x0f,0x65,0x06,0x38,0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc8,0x98,0x9b,0xc9,0xdc};
    static std::uint32_t subtrahend74     = 3794962836;
    static std::uint8_t  difference74[32] = {0x64,0xb0,0xbb,0x14,0x2f,0x21,0x7e,0x72,0x0f,0x65,0x06,0x38,0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc7,0xb6,0x69,0x40,0x48};
    static int           borrow74         = 0;
    uint256_from_bytes(minuend, minuend74);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend74);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference74, difference_data, 32) != 0 || borrow74 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend75[32]    = {0x30,0xd0,0xa2,0xb8,0x54,0x49,0x40,0xe1,0x2a,0x66,0xf9,0x13,0xee,0x7d,0x0a,0xe2,0x14,0x51,0x03,0xc7,0xff,0x5e,0x1d,0x1f,0x1c,0xfb,0x0a,0x06,0xbb,0x93,0xc8,0xeb};
    static std::uint32_t subtrahend75     = 2008394699;
    static std::uint8_t  difference75[32] = {0x30,0xd0,0xa2,0xb8,0x54,0x49,0x40,0xe1,0x2a,0x66,0xf9,0x13,0xee,0x7d,0x0a,0xe2,0x14,0x51,0x03,0xc7,0xff,0x5e,0x1d,0x1f,0x1c,0xfb,0x0a,0x06,0x43,0xde,0x1d,0x20};
    static int           borrow75         = 0;
    uint256_from_bytes(minuend, minuend75);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend75);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference75, difference_data, 32) != 0 || borrow75 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend76[32]    = {0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83,0x5f,0xb6,0xd6,0x25,0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45,0x4f,0xd3,0xe7,0x58};
    static std::uint32_t subtrahend76     = 726970231;
    static std::uint8_t  difference76[32] = {0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83,0x5f,0xb6,0xd6,0x25,0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45,0x24,0x7f,0x37,0xe1};
    static int           borrow76         = 0;
    uint256_from_bytes(minuend, minuend76);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend76);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference76, difference_data, 32) != 0 || borrow76 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend77[32]    = {0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba,0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79,0x14,0xac,0xe1,0xcb,0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x33,0x00,0xbc,0x22,0xcb};
    static std::uint32_t subtrahend77     = 3259042513;
    static std::uint8_t  difference77[32] = {0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba,0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79,0x14,0xac,0xe1,0xcb,0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x32,0x3e,0x7b,0x17,0xfa};
    static int           borrow77         = 0;
    uint256_from_bytes(minuend, minuend77);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend77);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference77, difference_data, 32) != 0 || borrow77 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend78[32]    = {0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x73,0x61,0x50,0x2d,0xee};
    static std::uint32_t subtrahend78     = 2033512632;
    static std::uint8_t  difference78[32] = {0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x72,0xe8,0x1b,0x3d,0x36};
    static int           borrow78         = 0;
    uint256_from_bytes(minuend, minuend78);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend78);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference78, difference_data, 32) != 0 || borrow78 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend79[32]    = {0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74,0x3f,0x7d,0xc8,0x6b,0x69,0x2a,0x4f,0x0e,0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x79,0x7b,0x15,0x38};
    static std::uint32_t subtrahend79     = 174588221;
    static std::uint8_t  difference79[32] = {0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74,0x3f,0x7d,0xc8,0x6b,0x69,0x2a,0x4f,0x0e,0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x6f,0x13,0x13,0xfb};
    static int           borrow79         = 0;
    uint256_from_bytes(minuend, minuend79);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend79);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference79, difference_data, 32) != 0 || borrow79 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend80[32]    = {0xec,0x9a,0x36,0x0c,0x51,0x05,0x12,0x2a,0xb0,0x88,0x24,0x11,0xb7,0x75,0x70,0xa4,0xbf,0x16,0x8d,0xa7,0x43,0x1d,0xbc,0x3f,0x0b,0x28,0x6c,0x70,0x9d,0xf2,0x4d,0x5e};
    static std::uint32_t subtrahend80     = 1277348535;
    static std::uint8_t  difference80[32] = {0xec,0x9a,0x36,0x0c,0x51,0x05,0x12,0x2a,0xb0,0x88,0x24,0x11,0xb7,0x75,0x70,0xa4,0xbf,0x16,0x8d,0xa7,0x43,0x1d,0xbc,0x3f,0x0b,0x28,0x6c,0x70,0x51,0xcf,0x82,0xa7};
    static int           borrow80         = 0;
    uint256_from_bytes(minuend, minuend80);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend80);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference80, difference_data, 32) != 0 || borrow80 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend81[32]    = {0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2,0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06,0xb8,0xb8,0xf2,0x70};
    static std::uint32_t subtrahend81     = 1004447939;
    static std::uint8_t  difference81[32] = {0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2,0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06,0x7c,0xda,0x49,0xad};
    static int           borrow81         = 0;
    uint256_from_bytes(minuend, minuend81);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend81);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference81, difference_data, 32) != 0 || borrow81 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend82[32]    = {0xca,0x30,0x42,0x18,0x62,0xf2,0xa2,0x1b,0xc6,0xbf,0x4f,0xa2,0xf4,0x33,0x7b,0xd1,0x77,0x3a,0xfe,0x02,0xf4,0xef,0x61,0x42,0xb7,0x2f,0xac,0x4a,0x79,0xa5,0xfd,0x62};
    static std::uint32_t subtrahend82     = 3923641465;
    static std::uint8_t  difference82[32] = {0xca,0x30,0x42,0x18,0x62,0xf2,0xa2,0x1b,0xc6,0xbf,0x4f,0xa2,0xf4,0x33,0x7b,0xd1,0x77,0x3a,0xfe,0x02,0xf4,0xef,0x61,0x42,0xb7,0x2f,0xac,0x49,0x8f,0xc7,0xf8,0xe9};
    static int           borrow82         = 0;
    uint256_from_bytes(minuend, minuend82);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend82);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference82, difference_data, 32) != 0 || borrow82 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend83[32]    = {0x3c,0x73,0xd5,0xf4,0x9b,0x75,0x03,0x62,0x26,0xbc,0x98,0x58,0xc5,0xd6,0xd5,0xe9,0xb1,0x2e,0x1d,0xe2,0xd2,0xa0,0x16,0x9d,0x4d,0xa6,0x09,0x90,0xbd,0x0d,0x8c,0xfe};
    static std::uint32_t subtrahend83     = 3699007837;
    static std::uint8_t  difference83[32] = {0x3c,0x73,0xd5,0xf4,0x9b,0x75,0x03,0x62,0x26,0xbc,0x98,0x58,0xc5,0xd6,0xd5,0xe9,0xb1,0x2e,0x1d,0xe2,0xd2,0xa0,0x16,0x9d,0x4d,0xa6,0x09,0x8f,0xe0,0x93,0x2b,0xa1};
    static int           borrow83         = 0;
    uint256_from_bytes(minuend, minuend83);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend83);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference83, difference_data, 32) != 0 || borrow83 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend84[32]    = {0x32,0x83,0x06,0x89,0x83,0x0a,0xe1,0x9e,0x14,0x3a,0x51,0x80,0x98,0x80,0xe8,0x8b,0xc8,0x41,0x72,0x1e,0xc8,0xa9,0x48,0x14,0x5c,0xa2,0xc1,0x32,0x75,0xf5,0xc1,0xa0};
    static std::uint32_t subtrahend84     = 3233619332;
    static std::uint8_t  difference84[32] = {0x32,0x83,0x06,0x89,0x83,0x0a,0xe1,0x9e,0x14,0x3a,0x51,0x80,0x98,0x80,0xe8,0x8b,0xc8,0x41,0x72,0x1e,0xc8,0xa9,0x48,0x14,0x5c,0xa2,0xc1,0x31,0xb5,0x38,0xa4,0x1c};
    static int           borrow84         = 0;
    uint256_from_bytes(minuend, minuend84);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend84);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference84, difference_data, 32) != 0 || borrow84 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend85[32]    = {0x8b,0x6b,0xfe,0xae,0x8d,0x76,0xd7,0xa1,0x7b,0x50,0x07,0x9e,0x08,0xab,0x4a,0xe4,0xa6,0x48,0xa5,0x8c,0x10,0x92,0x57,0xf7,0x68,0x62,0xbf,0x79,0x3f,0x4f,0x8b,0x9d};
    static std::uint32_t subtrahend85     = 309946508;
    static std::uint8_t  difference85[32] = {0x8b,0x6b,0xfe,0xae,0x8d,0x76,0xd7,0xa1,0x7b,0x50,0x07,0x9e,0x08,0xab,0x4a,0xe4,0xa6,0x48,0xa5,0x8c,0x10,0x92,0x57,0xf7,0x68,0x62,0xbf,0x79,0x2c,0xd6,0x23,0x11};
    static int           borrow85         = 0;
    uint256_from_bytes(minuend, minuend85);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend85);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference85, difference_data, 32) != 0 || borrow85 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend86[32]    = {0x27,0x40,0x1f,0xa0,0x3c,0x49,0xfd,0xbd,0x3e,0xce,0x9f,0x2c,0x2f,0x8c,0x6c,0x08,0x3f,0x57,0x83,0xea,0x70,0x7c,0x5f,0x3d,0x32,0xfe,0x1f,0x36,0x42,0xa5,0x51,0x62};
    static std::uint32_t subtrahend86     = 2483696951;
    static std::uint8_t  difference86[32] = {0x27,0x40,0x1f,0xa0,0x3c,0x49,0xfd,0xbd,0x3e,0xce,0x9f,0x2c,0x2f,0x8c,0x6c,0x08,0x3f,0x57,0x83,0xea,0x70,0x7c,0x5f,0x3d,0x32,0xfe,0x1f,0x35,0xae,0x9b,0x1c,0x2b};
    static int           borrow86         = 0;
    uint256_from_bytes(minuend, minuend86);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend86);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference86, difference_data, 32) != 0 || borrow86 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend87[32]    = {0x86,0xbc,0x2b,0x99,0x81,0xe0,0x04,0xfb,0x3e,0xf6,0x87,0x56,0xfe,0x11,0x1e,0xbc,0x40,0x6c,0x61,0x32,0x65,0x64,0xd1,0x34,0x10,0x97,0x00,0x46,0x53,0x8a,0xe1,0xc1};
    static std::uint32_t subtrahend87     = 159013186;
    static std::uint8_t  difference87[32] = {0x86,0xbc,0x2b,0x99,0x81,0xe0,0x04,0xfb,0x3e,0xf6,0x87,0x56,0xfe,0x11,0x1e,0xbc,0x40,0x6c,0x61,0x32,0x65,0x64,0xd1,0x34,0x10,0x97,0x00,0x46,0x4a,0x10,0x88,0x7f};
    static int           borrow87         = 0;
    uint256_from_bytes(minuend, minuend87);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend87);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference87, difference_data, 32) != 0 || borrow87 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend88[32]    = {0xea,0x14,0x84,0x3a,0x72,0xc3,0x9a,0x28,0xd7,0x2e,0xb3,0xa1,0x3b,0x2a,0x42,0x1a,0xd1,0xb0,0xb7,0x0b,0xe2,0x00,0xd2,0x18,0x79,0x8a,0x0d,0x59,0x01,0x26,0x64,0xf6};
    static std::uint32_t subtrahend88     = 1261335109;
    static std::uint8_t  difference88[32] = {0xea,0x14,0x84,0x3a,0x72,0xc3,0x9a,0x28,0xd7,0x2e,0xb3,0xa1,0x3b,0x2a,0x42,0x1a,0xd1,0xb0,0xb7,0x0b,0xe2,0x00,0xd2,0x18,0x79,0x8a,0x0d,0x58,0xb5,0xf7,0xf2,0xb1};
    static int           borrow88         = 0;
    uint256_from_bytes(minuend, minuend88);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend88);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference88, difference_data, 32) != 0 || borrow88 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend89[32]    = {0xd0,0x93,0x0b,0x64,0x34,0x14,0xc2,0xdc,0xe9,0xf8,0xf7,0x1f,0xa6,0xd2,0x10,0x40,0xbb,0x73,0x52,0xc1,0x99,0x73,0xcf,0x5c,0x09,0xc9,0xd5,0x92,0x41,0x42,0x05,0xc6};
    static std::uint32_t subtrahend89     = 3516861417;
    static std::uint8_t  difference89[32] = {0xd0,0x93,0x0b,0x64,0x34,0x14,0xc2,0xdc,0xe9,0xf8,0xf7,0x1f,0xa6,0xd2,0x10,0x40,0xbb,0x73,0x52,0xc1,0x99,0x73,0xcf,0x5c,0x09,0xc9,0xd5,0x91,0x6f,0xa2,0xf9,0xdd};
    static int           borrow89         = 0;
    uint256_from_bytes(minuend, minuend89);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend89);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference89, difference_data, 32) != 0 || borrow89 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend90[32]    = {0x34,0x12,0x88,0x22,0x13,0xf3,0x88,0x70,0x4f,0xec,0x0f,0x40,0x9e,0xfa,0xc2,0x92,0x2f,0x65,0xab,0x4e,0x5f,0x2e,0xe4,0x0d,0xad,0xa6,0x5c,0xc4,0x68,0xb3,0xe3,0xaa};
    static std::uint32_t subtrahend90     = 3415706595;
    static std::uint8_t  difference90[32] = {0x34,0x12,0x88,0x22,0x13,0xf3,0x88,0x70,0x4f,0xec,0x0f,0x40,0x9e,0xfa,0xc2,0x92,0x2f,0x65,0xab,0x4e,0x5f,0x2e,0xe4,0x0d,0xad,0xa6,0x5c,0xc3,0x9d,0x1c,0x57,0xc7};
    static int           borrow90         = 0;
    uint256_from_bytes(minuend, minuend90);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend90);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference90, difference_data, 32) != 0 || borrow90 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend91[32]    = {0xb2,0x06,0x1e,0xcc,0x65,0xd4,0x64,0xfd,0x29,0xe7,0x8b,0x06,0xa7,0x2e,0xd5,0x08,0x17,0x55,0xc6,0xde,0x88,0xb4,0x09,0xc8,0xa3,0xa1,0x6d,0x92,0x27,0x90,0xbb,0x01};
    static std::uint32_t subtrahend91     = 1321113728;
    static std::uint8_t  difference91[32] = {0xb2,0x06,0x1e,0xcc,0x65,0xd4,0x64,0xfd,0x29,0xe7,0x8b,0x06,0xa7,0x2e,0xd5,0x08,0x17,0x55,0xc6,0xde,0x88,0xb4,0x09,0xc8,0xa3,0xa1,0x6d,0x91,0xd8,0xd2,0x22,0x81};
    static int           borrow91         = 0;
    uint256_from_bytes(minuend, minuend91);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend91);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference91, difference_data, 32) != 0 || borrow91 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend92[32]    = {0x6a,0x01,0x26,0x0f,0x5b,0x70,0x42,0xdf,0xe2,0x39,0xd3,0xd7,0x91,0x07,0x75,0x6f,0xbe,0xce,0x71,0x45,0x4f,0xf6,0xf2,0xc5,0x0d,0x25,0xf9,0x54,0xf4,0x04,0x2f,0x1e};
    static std::uint32_t subtrahend92     = 3445508768;
    static std::uint8_t  difference92[32] = {0x6a,0x01,0x26,0x0f,0x5b,0x70,0x42,0xdf,0xe2,0x39,0xd3,0xd7,0x91,0x07,0x75,0x6f,0xbe,0xce,0x71,0x45,0x4f,0xf6,0xf2,0xc5,0x0d,0x25,0xf9,0x54,0x26,0xa5,0xe4,0x7e};
    static int           borrow92         = 0;
    uint256_from_bytes(minuend, minuend92);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend92);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference92, difference_data, 32) != 0 || borrow92 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend93[32]    = {0x01,0x81,0x20,0xf8,0xf1,0x26,0x16,0x42,0x34,0x23,0x88,0x0b,0x67,0xac,0x56,0xf8,0xba,0x60,0x49,0x1e,0x64,0x06,0xf4,0x58,0x32,0x7b,0xcd,0xa3,0xa4,0xfc,0x86,0x21};
    static std::uint32_t subtrahend93     = 3872473880;
    static std::uint8_t  difference93[32] = {0x01,0x81,0x20,0xf8,0xf1,0x26,0x16,0x42,0x34,0x23,0x88,0x0b,0x67,0xac,0x56,0xf8,0xba,0x60,0x49,0x1e,0x64,0x06,0xf4,0x58,0x32,0x7b,0xcd,0xa2,0xbe,0x2b,0x43,0x09};
    static int           borrow93         = 0;
    uint256_from_bytes(minuend, minuend93);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend93);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference93, difference_data, 32) != 0 || borrow93 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend94[32]    = {0x5d,0x5e,0xc1,0xad,0xe2,0x01,0xaa,0xfd,0x93,0xea,0x6a,0x94,0x67,0xfd,0xe1,0xc3,0x17,0x2a,0x39,0x0a,0xd2,0x03,0xac,0xfe,0x1d,0x10,0xe9,0x31,0x6c,0x7b,0x31,0xe2};
    static std::uint32_t subtrahend94     = 3320243759;
    static std::uint8_t  difference94[32] = {0x5d,0x5e,0xc1,0xad,0xe2,0x01,0xaa,0xfd,0x93,0xea,0x6a,0x94,0x67,0xfd,0xe1,0xc3,0x17,0x2a,0x39,0x0a,0xd2,0x03,0xac,0xfe,0x1d,0x10,0xe9,0x30,0xa6,0x94,0x4b,0xb3};
    static int           borrow94         = 0;
    uint256_from_bytes(minuend, minuend94);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend94);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference94, difference_data, 32) != 0 || borrow94 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend95[32]    = {0xe8,0xe8,0x4b,0x0d,0xce,0x74,0xb3,0xc4,0xa4,0x02,0xbb,0x72,0x24,0x7a,0xab,0xb5,0x8d,0x32,0x3d,0x9e,0x0d,0x3b,0xe8,0xee,0x03,0xcc,0x2f,0x9b,0x21,0x46,0x0c,0x5a};
    static std::uint32_t subtrahend95     = 2166652372;
    static std::uint8_t  difference95[32] = {0xe8,0xe8,0x4b,0x0d,0xce,0x74,0xb3,0xc4,0xa4,0x02,0xbb,0x72,0x24,0x7a,0xab,0xb5,0x8d,0x32,0x3d,0x9e,0x0d,0x3b,0xe8,0xee,0x03,0xcc,0x2f,0x9a,0xa0,0x21,0x8e,0x86};
    static int           borrow95         = 0;
    uint256_from_bytes(minuend, minuend95);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend95);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference95, difference_data, 32) != 0 || borrow95 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend96[32]    = {0x11,0x2d,0x40,0x95,0xec,0xed,0x8d,0xed,0x2b,0xfa,0x1f,0x10,0x85,0x6a,0xab,0x1d,0x29,0x6c,0xb0,0x8c,0x48,0x86,0x05,0x8b,0x59,0x12,0xeb,0x60,0x25,0x58,0xd6,0xc0};
    static std::uint32_t subtrahend96     = 1648128206;
    static std::uint8_t  difference96[32] = {0x11,0x2d,0x40,0x95,0xec,0xed,0x8d,0xed,0x2b,0xfa,0x1f,0x10,0x85,0x6a,0xab,0x1d,0x29,0x6c,0xb0,0x8c,0x48,0x86,0x05,0x8b,0x59,0x12,0xeb,0x5f,0xc3,0x1c,0x65,0xf2};
    static int           borrow96         = 0;
    uint256_from_bytes(minuend, minuend96);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend96);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference96, difference_data, 32) != 0 || borrow96 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend97[32]    = {0x95,0x26,0xe3,0xd0,0x4e,0xe6,0xf4,0xff,0x6b,0x89,0xd4,0x63,0xa6,0x26,0xb0,0x97,0x4e,0x64,0x0c,0xd4,0xc7,0x30,0xa7,0xcb,0xa0,0x85,0xda,0x1f,0xd9,0x58,0xb1,0xe6};
    static std::uint32_t subtrahend97     = 1828538688;
    static std::uint8_t  difference97[32] = {0x95,0x26,0xe3,0xd0,0x4e,0xe6,0xf4,0xff,0x6b,0x89,0xd4,0x63,0xa6,0x26,0xb0,0x97,0x4e,0x64,0x0c,0xd4,0xc7,0x30,0xa7,0xcb,0xa0,0x85,0xda,0x1f,0x6c,0x5b,0x68,0xa6};
    static int           borrow97         = 0;
    uint256_from_bytes(minuend, minuend97);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend97);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference97, difference_data, 32) != 0 || borrow97 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend98[32]    = {0x11,0x2e,0xd1,0xdf,0x1b,0x69,0x56,0x7e,0x66,0x7c,0xd6,0x0b,0x79,0x24,0xde,0xde,0xcf,0x7e,0xda,0x11,0x2d,0xf8,0x3c,0x66,0xd6,0x27,0xd2,0xb8,0x75,0x52,0x6e,0x31};
    static std::uint32_t subtrahend98     = 1540068208;
    static std::uint8_t  difference98[32] = {0x11,0x2e,0xd1,0xdf,0x1b,0x69,0x56,0x7e,0x66,0x7c,0xd6,0x0b,0x79,0x24,0xde,0xde,0xcf,0x7e,0xda,0x11,0x2d,0xf8,0x3c,0x66,0xd6,0x27,0xd2,0xb8,0x19,0x86,0xda,0xc1};
    static int           borrow98         = 0;
    uint256_from_bytes(minuend, minuend98);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend98);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference98, difference_data, 32) != 0 || borrow98 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
    static std::uint8_t  minuend99[32]    = {0x0a,0x6f,0xb1,0x54,0xa8,0x37,0x6d,0xcd,0x82,0x99,0xed,0x6e,0x81,0x1c,0x8f,0xa7,0x71,0x24,0xc2,0x05,0xcd,0x62,0x5a,0x7f,0x17,0x7a,0x83,0x34,0x5d,0x86,0x6b,0x34};
    static std::uint32_t subtrahend99     = 2733476194;
    static std::uint8_t  difference99[32] = {0x0a,0x6f,0xb1,0x54,0xa8,0x37,0x6d,0xcd,0x82,0x99,0xed,0x6e,0x81,0x1c,0x8f,0xa7,0x71,0x24,0xc2,0x05,0xcd,0x62,0x5a,0x7f,0x17,0x7a,0x83,0x33,0xba,0x98,0xe1,0xd2};
    static int           borrow99         = 0;
    uint256_from_bytes(minuend, minuend99);
    borrow = uint256_sub_borrow_uint32(difference, minuend, subtrahend99);
    uint256_to_bytes(difference_data, difference);
    if (std::memcmp(difference99, difference_data, 32) != 0 || borrow99 != borrow)
    {
        throw std::runtime_error("err in uint256_sub_borrow_uint32");
    }
}
